Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update global-settings.md #134

Closed
wants to merge 1 commit into from
Closed

Update global-settings.md #134

wants to merge 1 commit into from

Conversation

anderewrey
Copy link

The default value string of the wordDelimiters setting cannot be "as-is" cut-pasted in the JSON configuration file. Some characters must be escaped with the backslash.

The default value string of the wordDelimiters setting cannot be "as-is" cut-pasted in the JSON configuration file. Some characters must be escaped with the backslash.
@opbld32
Copy link

opbld32 commented Sep 11, 2020

Docs Build status updates of commit 01d1222:

⚠️ Validation status: warnings

File Status Preview URL Details
TerminalDocs/customize-settings/global-settings.md ⚠️Warning View Details

TerminalDocs/customize-settings/global-settings.md

For more details, please refer to the build report.

If you see build warnings/errors with permission issues, it might be due to single sign-on (SSO) enabled on Microsoft's GitHub organizations. Please follow instructions here to re-authorize your GitHub account to Docs Build.

Note: Broken links written as relative paths are included in the above build report. For broken links written as absolute paths or external URLs, see the broken link report.

Note: Your PR may contain errors or warnings unrelated to the files you changed. This happens when external dependencies like GitHub alias, Microsoft alias, cross repo links are updated. Please use these instructions to resolve them.

For any questions, please:

@mattwojo
Copy link
Collaborator

@mattwojo
Copy link
Collaborator

Closing as I opened a new PR to make this update in the new file location: #230

Thanks @anderewrey!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants